Two different types of functional dependencies are compared: dependencies that are functional due to the laws of nature and dependencies that are functional if all involved agents behave rationally. The first type of dependencies was axiomatized by Armstrong. This article gives a formal definition of the second type of functional dependencies in terms of strategic games and describes a sound and complete axiomatization of their properties. The axiomatization is significantly different from the Armstrong’s axioms.

The article studies knowledge in multiagent systems where data available to the agents may have small errors. To reason about such uncertain knowledge, a formal semantics is introduced in which indistinguishability relations, commonly used in the semantics for epistemic logic S5, are replaced with metrics to capture how much two epistemic worlds are different from an agent’s point of view. The main result is a logical system sound and complete with respect to the proposed semantics.

Otpor is discussed in the text as a complex and contradictory new type of social movement, whose members attempted to contribute to the tradition of enlightened reform of social and political life in Serbia, simultaneously in a highly pragmatic and in a creative, possibly even irresponsible manner. After the introduction, analyzed are popular and media narratives on the characteristics of the movement, dilemmas concerning the founding of the movement and meaning of its key symbols, and the Faustian question of goals (...) and consequences of foreign, in particular American influences. Following is a discussion of strategic and tactical roles of Otpor in the coordinated project of ousting Milosevic. Otpor?s role is then re-interpreted in the frame of the?electoral revolution?, developed by Valerie Bunce, Sharon Wolchik and Michael McFoul. An assessment of the transformation of Otpor from an active social movement into an exportable blueprint for non-violent political revolutions is offered in lieu of a conclusion. U radu se o Otporu raspravlja kao o slozenom, pa cak i kontradiktornom drustvenom pokretu novog tipa, koji je na krajnje pragmatican, a istovremeno i veoma mastovit, stvaralacki nastrojen, na trenutke cak neozbiljan i neodgovoran nacin pokusao da nastavi tradiciju prosvecenog reformisanja drustvenog i politickog zivota u Srbiji. Autor zapocinje analizu razmatranjem medijskih i narodskih narativa o Otporu. Potom se prelazi na pitanje nastanka pokreta i mogucih znacenja njegovog imena i kljucnih simbola. Sledeci odeljak bavi se "faustovskim" pitanjem vrsta i posledica stranih uticaja na nacin funkcionisanja Otpora. Zatim se prelazi na razmatranje specificnih strateskih i taktickih uloga Otpora u koordinisanom projektu rusenja Milosevicevog rezima. Sledi pokusaj teorijskog odredjenja politickog projekta ciji je konstitutivni deo bio i Otpor, a koji pociva na modelu izborne revolucije koji su razvili Valeri Bans, Seron Volcik i Majkl Mekfaul. U epilogu se razmatra kako je pokret, iako politicki mrtav, zahvaljujuci projektima nekadasnjih aktivista uspeo da preraste u jedan od poznatijih srpskih izvoznih "brendova". (shrink)

The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.

The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.

Diffusion in social networks is a result of agents’ natural desires to conform to the behavioral patterns of their peers. In this article we show that the recently proposed “propositional opinion diffusion model” could be used to model an agent’s conformity to different social groups that the same agent might belong to, rather than conformity to the society as whole. The main technical contribution of this article is a sound and complete logical system describing the properties of the influence relation (...) in this model. The logical system is an extension of Armstrong’s axioms from database theory by one new axiom that captures the topological structure of the network. (shrink)

REVIEWS: This is a very helpful volume and a good addition to contemporary scholarship on the valuable and little-known Jaina contribution to philosophy. Prof.Nagin Shah has edited the book well, including clear introduction and a very complete index.

Islamic philosophy; Ibn al-Muṭahhar al-Ḥillī, al-Ḥasan ibn Yūsuf, 1250-1325; Muslim scholars; 13th century; history.

Socio-philosophical work in response to the philosophy of Pitirim Aleksandrovich Sorokin.

Text with commentary, work on Advaita Vedanta.

Arab countries; intellectual life; congresses.

Verse and prose commentaries, with text, on Nyāyāvatārasūtra, verse treatise on Jain logic, by Siddhasena Divākara.

Classical commentary on Pañcapādikā of Padmapādācārya, 8th cent., work on Advaita Vedanta philosophy; includes Śrīcandramañjarī commentary.